Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
771	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research
772	Mini-course on proof theory Pierre-Louis Curien (CNRS, University Paris 7, and INRIA) Cambridge, June 1, 3, and 4, 2010 Supported by a Leverhulme grant Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-06-08 06:42:34 Mathematics Natural deduction Curry–Howard correspondence Sequent calculus Linear logic Sequent Cut-elimination theorem Proof theory Logic Mathematical logic
773	Chapter 9 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-03-20 12:18:38 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
774	Version of[removed]Kirszbraun’s theorem D.H.Fremlin University of Essex, Colchester, England Wikipedia gives a statement of this theorem and an outline of its history, but no online source for the proof. It’s so pret Add to Reading List Source URL: www.essex.ac.uk Language: English - Date: 2011-07-14 07:44:34 Calculus Continuous function Filter Lambda calculus Combinatory logic Theorems and definitions in linear algebra Mathematics Mathematical analysis Operator theory
775	T&T Proof A07025 23 January[removed]Proceedings of the Royal Society of Edinburgh, 139A, 1–13, 2009 Two non-trivial solutions for a non-homogeneous Neumann problem: Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2010-02-16 17:24:26 Inequalities Operator theory Fourier analysis Calculus of variations Sobolev inequality Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Sobolev spaces
776	On Self-Embeddings of Computable Linear Orderings ? Rodney G. Downey a , Carl Jockusch b and Joseph S. Miller a a School of Mathematical and Computing Sciences Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:54:43 Mathematical logic Theory of computation Computable function Halting problem Turing reduction Reverse mathematics Embedding Ordinal number Computability theory Mathematics Theoretical computer science
777	Corrections for Logic for Applications 2nd edition June, 2014 p[removed]: We begin by ...of the tree. –> We begin by de…ning a linear ordering n of each level n by induction on the levels. Suppose and are on level n + Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2014-06-16 13:59:01 Propositional calculus Boolean algebra Proof theory Model theory Seattle Mariners all-time roster Logic Mathematical logic Mathematics
778	DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS Volume 18, Number 1, May 2007 Website: http://aimSciences.org pp. 107–120 Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2010-02-16 17:29:49 Sobolev inequality Calculus of variations Continuous function Linear temporal logic Mathematical analysis Mathematics Inequalities
779	Concurrent Programming in Linear Type Theory Frank Pfenning Carnegie Mellon University Joint work with Luís Caires, Bernardo Toninho, Jorge Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-10 09:05:23 Abstraction Axiology Logic Mathematical logic Type system Type theory Mathematics Science
780	Possession as Linear Knowledge Frank Pfenning Carnegie Mellon University Pittsburgh, Pennsylvania, U.S.A. [removed] Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiag Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-05-18 11:34:24 Non-classical logic Mathematics Artificial intelligence Logic programming Substructural logic Epistemic modal logic Epistemology Frank Pfenning Linear logic Logic Branches of philosophy Science

UPDATE